Publications of
Fabien Dagnat, Marc Pantel, Matthias Colin, Patrick Sallé
Typing Concurrent Objects and Actors
In : L’Objet – Méthodes formelles pour les objets, Hermès, Vol. 6, N. 1, pp. 83-106, January 2000.
Loïc Besnard, Thierry Gautier, Julien Ouy, Jean-Pierre Talpin, Jean-Paul Bodeveix, Alexandre Cortier, Marc Pantel, Martin Strecker, Gérald Garcia, Ana-Helena Rugina, Jérémy Buisson, Fabien Dagnat
Polychronous Interpretation of Synoptic, a Domain Specific Modeling Language for Embedded Flight-Software (regular paper)
In : Workshop on Formal Methods for Aerospace (FMA 2009), Eindhoven, 03/11/09, Vol. 20, Manuela Bujorianu, Michael Fisher (Eds.), Electronic Proceedings in Theoretical Computer Science (EPTCS), pp. 80-87, March 2010.
Static analysis of communications for Erlang
In : 8th International Erlang/OTP User Conference, Älvsjö, Suède, 19/11/02, Ericsson Telecommunication, pp. 1-12, November 2002.
Programmation Concurrente et Répartie par Acteurs – Vérification statique de programmes répartis
In : Journées Parallèlisme, Répartition et Objets, Toulouse, 15/03/01-16/03/01.
Matthias Colin, Marc Pantel, Fabien Dagnat, Patrick Sallé
Intégration des typages fonctionnels et concurrents d’un langage fonctionnel d’Acteurs
In : Formalisation des Activités Concurrentes, Toulouse, 25/02/99-26/02/99, Mamoun Filali, Pierre Michel, François Vernadat (Eds.), Actes électroniques FERIA-SVF, February 1999.
Matthias Colin, Marc Pantel, Fabien Dagnat, Patrick Sallé
Intégration des Typages Fonctionnel et Concurrent d’un Langage Fonctionnel d’Acteurs
In : Journées Francophone Langages Applicatifs, Avoriaz, 01/02/99-02/02/99, INRIA, Collection Didactique, pp. 227-252, February 1999.
Jean-Louis Colaço, Marc Pantel, Fabien Dagnat, Patrick Sallé
Static safety analysis for non-uniform service availability in Actors
In : Formal Methods for Open Object-based Distributed Systems, Florence, 15/02/99-18/02/99, Kluwer Academic Publisher, Pays-Bas, pp. 371-386, February 1999.
Fabien Dagnat, Marc Pantel, Patrick Sallé
ML-Act, un langage fonctionnel d’Acteurs
In : Journéee Francophone des Langages Applicatifs, Côme, 02/02/98-03/02/98, INRIA, Collection didactique, February 1998.
Vérification statique de programmes répartis
Master’s Thesis, Institut National Polytechnique de Toulouse, May 2001.
Vérification statique de programmes répartis
Master’s Thesis, Institut National Polytechnique de Toulouse, May 2001.